perm filename TAK2.CMD[F78,JMC] blob
sn#390439
filedate 1978-10-21 generic text, type T, neo UTF8
fetch tak2.ax; ASSUME x≤y; rewrite tak1(x,y,z)=tak0(x,y,z) by LOGICTREE ∪{TAK0,TAK1,1}; ⊃I 1 2;